package ElevatorSystem; 

public   class  Environment {
	
	//@Symbolic("false")
	Floor[] floors;

	
	
	public Environment  (int numFloors) {
		floors = new Floor[numFloors];
		for (int i = 0; i < numFloors; i++) {
			floors[i] = new Floor(i);
		}
	
		floors = new Floor[numFloors];
		for (int i = 0; i < numFloors; i++) {
			floors[i] = new Floor(i);
		}
	}

	
	
	public Floor getFloor  (int id) {
		return floors[id];
	}

	
	public Floor[] getFloors  () {
		return floors;
	}

	
	public boolean isTopFloor  (int id) {
		return id == floors.length-1;
	}


}
